Tipo	Título	Autor	Edición	Disponibilidad	Valoración
Tesis	Cómo eliminar evidencia resolviendo restricciones para producir automáticamente programas tipados:	Badenes, Hernán	(2003)	Sala	----------
Artículo	Simplifying and solving qualified types for principal type specialisation :	Martínez López, Pablo Ernesto	(2003)		----------